Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

Source URL: www.cs.ox.ac.uk

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Models of computation
• Game theory
• Semantics
• Denotational semantics
• Game semantics
• Determinacy
• Samson Abramsky
• Operational semantics

Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

Source URL: boole.stanford.edu

Intro to Denotational Semantics Eric L. McCorkle December 13, 2015 Semantics

Source URL: ericmccorkleblog.files.wordpress.com

The Semantics of Syntax Applying Denotational Semantics to Hygienic Macro Systems Neelakantan R. Krishnaswami University of Birmingham <>

Source URL: conf.researchr.org

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Software engineering
• Programming language theory
• Computer programming
• Type theory
• Procedural programming languages
• Functional languages
• Logic in computer science
• Programming language semantics
• Standard ML
• Denotational semantics
• Monad
• Type system

Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991

Source URL: www.ccs.neu.edu

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Programming language implementation
• Functional languages
• Compiler construction
• Programming languages
• Denotational semantics
• Compiler
• Lisp
• Semantics

Motivation Overview Traces

Source URL: lama.univ-savoie.fr

• Algebra
• Theoretical computer science
• Mathematics
• Logic in computer science
• Formal methods
• Models of computation
• Denotational semantics
• Semantics
• Causality
• Motivation
• Sheaf
• Trace

Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Theoretical computer science
• Computing
• Concurrent computing
• Constraint programming
• Models of computation
• Model checkers
• Process calculus
• Michael Butler
• Model checking
• FDR
• Denotational semantics

Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Software engineering
• Computer science
• Hardware description languages
• Synchronous programming languages
• Formal methods
• Denotational semantics
• Esterel
• Robin Milner
• Milner
• Logic for Computable Functions